home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2009 February / PCWFEB09.iso / Software / Linux / Kubuntu 8.10 / kubuntu-8.10-desktop-i386.iso / casper / filesystem.squashfs / usr / share / soprano / rules / nrl.rules next >
Text File  |  2007-09-01  |  568b  |  12 lines
  1. #------------------------------------------------------------------
  2. # NRL rule set v0.1.
  3. # This is a basic NRL (Nepomuk Representation Language) ruleset
  4. #------------------------------------------------------------------
  5.  
  6. PREFIX nrl: <http://www.semanticdesktop.org/ontologies/2007/08/15/nrl/>
  7. PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
  8.  
  9. [nrl1: (?p rdf:type nrl:TransitiveProperty), (?x ?p ?y), (?y ?p ?z) -> (?x ?p ?z)]
  10. [nrl2: (?p rdf:type nrl:SymmetricProperty), (?x ?p ?y) -> (?y ?p ?x)]
  11. [nrl3: (?a nrl:inverseProperty ?b), (?x ?a ?y) -> (?y ?b ?x)]
  12.